
extern void control(void);
